منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملNoise Reduction using Paired-microph Microphone Arran
A wide variety of microphone arrays have been developed, and the authors have also proposed a type of equally-spaced small-scale microphone array. In this approach, a paired-microphone is selected at each frequency to design a subtractive beamformer that can estimate a noise spectrum. This paper introduces a nonequally-spaced microphone arrangement, which might give more spatial information tha...
متن کاملDepartment of Mineralogy , Petrography and Geochemistry
Department of Mineralogy, Petrography and Geochemistry is the oldest Earth science department at the AGH University of Science and Technology. It was created in 1919 as one of the first six departments of the Academy of Mining and was initially named as the Department of Mineralogy and Petrography. The Department was organized by Professor Józef Morozewicz (1865–1941) who chaired the Organizing...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geological Magazine
سال: 1916
ISSN: 0016-7568,1469-5081
DOI: 10.1017/s0016756800199789